package Runde7;

public class Delfin extends Seehund {
	
	/**
	 * @precondition The given name must not be empty.
	 * @postcondition - creates new dolphin with the given name
	 */
	public Delfin(String name) {
		super(name);
	}
	
	/**
	 * @precondition wt != null
	 * @postcondition Returns the instance of this dolphin, meaning it can be loaded into the given partition.
	 */
	public TransportierbaresTier doLoad (Wassertank wt) {
		return this;
	}
	
	/**
	 * @postcondition - delivers a readable form of this instance of Delfin
	 */
	public String toString() {
		return getName() + " (Delfin)";
	}
	
}